namespace core_uninitialized_Branch {
    void test() {
        int x;
        if (x) // warn
            return;
    }
}